Kripke semantics - PDFSEARCH.IO - Document Search Engine

Kripke semantics
Results: 182

#	Item
91	Microsoft Word - NIMTZ_040515_REFERENCE_FIXING.doc Add to Reading List Source URL: www.uni-bielefeld.de Language: English - Date: 2004-10-05 05:38:21 Philosophical logic Modal logic Dichotomies Analytic philosophers Semantics Saul Kripke David Chalmers A priori and a posteriori Two-dimensionalism Logic Philosophy Analytic philosophy
92	Analytic Truths and Kripke’s Semantic Turn Zsófia Zvolenszky [removed]_ MTA–ELTE Philosophy of Language Research Group, Budapest New York University Add to Reading List Source URL: philosophy.elte.hu Language: English - Date: 2005-04-08 00:19:04 Philosophical logic Philosophy of language Meaning Dichotomies Semantics Naming and Necessity Analytic–synthetic distinction A priori and a posteriori Saul Kripke Philosophy Logic Analytic philosophy
93	Doxastic Logic Michael Caie There are at least three natural ways of interpreting the object of study of doxstic logic. On one construal, doxastic logic studies certain general features of the doxastic states of actual a Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Modal logic Model theory Philosophical logic Belief Doxastic logic Interpretation Kripke semantics Function Logic Mathematical logic Mathematics
94	Grounding Knowledge and Action Selection in Agent-Based Systems Natasha Alechina Brian Logan School of Computer Science and IT University of Nottingham Nottingham NG8 1BB, UK Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2002-09-26 13:10:47 Formal languages Model theory Philosophical logic Modal logic Interpretation Epistemic modal logic Kripke semantics Function Action selection Logic Mathematical logic Mathematics
95	Multi-Agent Planning with Knowledge, Action and Time Mario R. F. Benevides1 , Luis R. M. Lopes1 1 Programa de Engenharia de Sistemas e Computac¸a˜ o, COPPE/UFRJ, Cidade Universit´aria, Centro de Tecnologia, Bloco H Add to Reading List Source URL: www.lbd.dcc.ufmg.br Language: English - Date: 2011-06-27 10:05:13 Modal logic Non-classical logic Common knowledge Multi-agent system Model checking Temporal logic Proposition Kripke semantics Logic Mathematical logic Philosophical logic
96	doi:[removed]j.jal[removed] Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-20 10:38:00 Non-classical logic Philosophical logic Model theory Mathematical constructivism Modal logic Kripke semantics First-order logic Intuitionistic logic Closure operator Logic Mathematical logic Mathematics
97	Logic in Milan an informal workshop When: March[removed], 15:00 – 18:00 Where: DSI, Aula Riunioni 2 Piano Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-03-16 04:32:08 Model theory Logic in computer science Non-classical logic Mathematical constructivism Philosophy of mathematics Intuitionistic logic Kripke semantics Denotational semantics Propositional calculus Logic Mathematical logic Mathematics
98	Grounding Knowledge and Action Selection in Agent-Based Systems Natasha Alechina Brian Logan School of Computer Science and IT University of Nottingham Nottingham NG8 1BB, UK Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Formal languages Model theory Philosophical logic Modal logic Interpretation Epistemic modal logic Kripke semantics Function Action selection Logic Mathematical logic Mathematics
99	Resource bisimilarity and graded bisimilarity coincideI Luca Aceto∗, Anna Ingolfsdottir, Joshua Sack ICE-TCS, School of Computer Science, Reykjavik University, Menntavegur 1, IS 101 Reykjavik, Iceland Abstract Resource Add to Reading List Source URL: www.ru.is Language: English - Date: 2010-10-27 04:45:47 Philosophical logic Category theory Theoretical computer science Modal logic Bisimulation Logic in computer science Kripke semantics F-coalgebra Monoid Mathematics Abstract algebra Logic
100	Logically Possible Worlds and Counterpart Semantics for Modal Logic MARCUS KRACHT AND OLIVER KUTZ Abstract. The paper reviews the technical results from modal logic as well as their philosophical significance. It focuse Add to Reading List Source URL: www.linguistics.ucla.edu Language: English - Date: 2005-05-11 15:44:48 Kripke semantics Saul Kripke General frame Admissible rule Modal algebra Normal modal logic Accessibility relation Possible world Modal realism Logic Mathematical logic Modal logic

UPDATE